Перевод: с английского на все языки

со всех языков на английский

Lesniewski system

См. также в других словарях:

  • Stanislaw Lesniewski — Stanisław Leśniewski Stanisław Leśniewski Stanisław Leśniewski (30 mars 1886–13 mai 1939) est un mathématicien, philosophe et logicien polonais qui a contribué à créer et développer l École de Lvov Vars …   Wikipédia en Français

  • Stanislaw Leśniewski — Stanisław Leśniewski Stanisław Leśniewski Stanisław Leśniewski (30 mars 1886–13 mai 1939) est un mathématicien, philosophe et logicien polonais qui a contribué à créer et développer l École de Lvov Vars …   Wikipédia en Français

  • Stanisław Leśniewski — (30 mars 1886–13 mai 1939) est un mathématicien, philosophe et logicien polonais qui a contribué à créer et développer l École de Lvov Varsovie. Leśniewski est l une des plus remar …   Wikipédia en Français

  • Stanisław Leśniewski — (March 30 1886 – May 13 1939) was a Polish mathematician, philosopher and logician.LifeLeśniewski belonged to the first generation of the Lwów Warsaw School of logic founded by Kazimierz Twardowski. Together with Alfred Tarski and Jan Łukasiewicz …   Wikipedia

  • Mereology — In philosophy and mathematical logic, mereology (from the Greek μέρος, root: μερε(σ) , part and the suffix logy study, discussion, science ) treats parts and the wholes they form. Whereas set theory is founded on the membership relation between a …   Wikipedia

  • applied logic — Introduction       the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… …   Universalium

  • Alfred Tarski — Infobox scientist name = Alfred Tarski caption = birth date = birth date|1901|01|14 birth place = Warsaw, Poland (under Russian rule at the time) death date = death date|1983|10|26 death place = Berkeley, California fields = Mathematics, logic,… …   Wikipedia

  • logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

  • Frege, Gottlob — ▪ German mathematician and philosopher Introduction born November 8, 1848, Wismar, Mecklenburg Schwerin died July 26, 1925, Bad Kleinen, Germany  German mathematician and logician (logic, history of), who founded modern mathematical logic (formal …   Universalium

  • Biuro Szyfrów — The Biuro Szyfrów ([ˈbʲurɔ ˈʂɨfruf] ( listen), Polish for Cipher Bureau ) was the interwar Polish General Staff s agency charged with both cryptography (the use of ciphers and codes) and cryptology (the study of ciphers and codes,… …   Wikipedia

  • George Boolos — Infobox Person name = George Boolos birth date = birth date|1940|9|4|mf=y birth place = New York, New York, U.S. death date = death date and age|1996|5|27|1940|9|4|mf=y death place = Cambridge, Massachusetts, U.S.George Stephen Boolos (September… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»